Evaluation of a double Gimbal IPACS design

The suitability of various integrated power/attitude control systems (IPACS) rotor materials was analyzed. Three materials were investigated: (1) 6A1-4V-Titanium (the current IPACS rotor material); (2) B120 VCA Titanium; and (3) Custom 455 stainless steel. The preliminary linear vibration analysis was updated to include the weights and stiffnesses of the gimbals design. A belleville washer spring preload mechanism was designed to replace the existing helical spring and interference fit preload mechanism

A Gimbal sizing analysis for an IPACS rotating assembly

All major components of an integrated power/attitude control system (IPACS) assembly were analyzed for testing, launch, and operational stresses. The conceptual design for the outer gimbal and mounting ring structures were developed and analyzed along with preliminary designs of the pivot and torquer assemblies. Results from the system response analysis and the thermal analysis are also presented. Gimballing of this rotating assembly should present few difficulties as the maximum gimballing rate is quite low. However, the inner gimbal assembly in its current configuration must be modified to develop the system from a laboratory concept to a realistic flight hardware status

Territorial Approach to Energy Development Policies: Italian Regions in Transition

Approccio territoriale nelle politiche di sviluppo energetico: le regioni italiane in transizione. Lo sviluppo energetico è stato definito come il tentativo di fornire fonti di energia primaria e secondaria sufficienti a soddisfare le esigenze della società: esso comporta sia il pieno sviluppo delle tecnologie energetiche già disponibili sia la ricerca, lo sviluppo e il potenziamento di nuove tecnologie. La transizione energetica, in questo contesto, implica il coinvolgimento e il cambiamento complesso e non lineare (retroattivo) di tutte le dimensioni reciprocamente interdipendenti coinvolte in tale sviluppo: istituzionale, finanziaria, territoriale e tecnologica più la governance e il comportamento dei consumatori. Questo processo darà origine a nuovi cluster tecnologici, nuove organizzazioni socio-economiche, nuovi comportamenti e preferenze: la società adotterà nel complesso un nuovo paradigma socio-tecnico. Sia le aree rilevanti per lo sviluppo energetico che il policy making nel contesto europeo sono differenziati in termini regionali. Infatti, le decisioni politiche dell’Unione che vengono adottate e tradotte in scelte strategiche nazionali vengono «trasposte» e adattate alle diverse realtà regionali per produrre propri specifici modelli di sviluppo energetico. In questo quadro, il contributo analizza la situazione delle regioni italiane rispetto al loro ruolo nello sviluppo energetico attraverso l’analisi di 5 aree – lo sviluppo delle fonti rinnovabili, il risparmio e l’efficienza energetica, la riduzione delle emissioni inquinanti, la promozione di attività di ricerca applicata, l’innovazione e il trasferimento tecnologico per sistemi efficienti dal punto di vista energetico – mostrando il loro posizionamento rispetto alle politiche di sviluppo energetico in termini di sviluppo delle fonti di energia rinnovabile (FER) e di potenziale di specializzazione regionale.Energy development has been defined as an attempt to provide sufficient primary and secondary energy sources to meet society’s needs: it involves the full development of already available energy technologies and research, and the development and enhancement of new technologies. Energy transition, in this context, implies the involvement and complex and nonlinear (retroactive) change of all mutually interdependent dimensions involved in such development: institutional, financial, territorial and technological, plus governance and consumer behaviour. This process will give rise to new technological clusters, new socio-economic organizations and new behaviours and preferences: society will adopt an altogether new sociotechnical paradigm. The areas relevant to energy development and policy-making in the European context are differentiated in regional terms. In fact, Union policy decisions that are adopted and translated into national strategic choices are «transposed» and adapted to different regional realities in order to produce specific energy development patterns. In this framework, this paper analyses the situation of the regions of Italy with respect to their role in energy development through the analysis of five areas – developing renewable sources, promoting energy saving and efficiency, reducing pollutant emissions, promoting applied research activities, and transferring innovation and technology for energy-efficient systems – all showing their positioning with respect to energy development policies in terms of Renewable Energy Systems (RES) development and regional specialization potential.L’approche territoriale dans les politiques de développement énergétique : les régions italiennes en transition Le développement énergétique a été défini comme une tentative de fournir suffisamment de sources d’énergie primaire et secondaire pour répondre aux besoins de la société : il implique à la fois le développement complet des technologies énergétiques déjà disponibles et la recherche, le développement et l’amélioration de nouvelles technologies. La transition énergétique, dans ce contexte, implique la mobilisation et le changement complexe et non linéaire (rétroactif) de toutes les dimensions mutuellement interdépendantes qui concourent à ce développement : institutionnelles, financières, territoriales et technologiques, plus la gouvernance et le comportement des consommateurs. Ce processus donnera naissance à de nouveaux clusters technologiques, de nouvelles organisations socio-économiques, de nouveaux comportements et préférences : la société adoptera globalement un nouveau paradigme socio-technique. Les deux domaines pertinents pour le développement énergétique et l’élaboration des politiques dans le contexte européen sont différenciés en termes régionaux. En effet, les décisions politiques de l’Union qui sont adoptées et traduites en choix stratégiques nationaux sont « transposées » et adaptées aux différentes réalités régionales pour produire leurs propres modèles spécifiques de développement énergétique. Dans ce cadre, la contribution analyse la situation des régions italiennes en ce qui concerne leur rôle dans le développement énergétique à travers l’analyse de 5 domaines – le développement des sources d’énergie renouvelables, les économies d’énergie et l’efficacité énergétique, la réduction des émissions polluantes, la promotion des activités de recherche appliquée, l’innovation et le transfert de technologie pour les systèmes efficaces en énergie – montrant leur position par rapport aux politiques de développement énergétique en termes de développement des systèmes d’énergie renouvelable (SER) et de potentiel de spécialisation régionale

Modeling eating disorders of cognitive impaired people

Millions of people all around the world suffer from eating disorders, known as anorexia nervosa, bulimia nervosa, pica, and others. When eating disorders coexist with other mental health disorders, eating disorders often go undiagnosed and untreated; a low number of sufferers obtain treatment for the eating disorder. Unfortunately, eating disorders have also the highest mortality rate of any mental illness, upwards of 20%. This paper focuses on monitoring eating disorders of cognitive impaired people as patients with the Alzheimer’s disease. The proposed approach relies on the application of Ambient Intelligence (AmI) technologies and a new method for the detection of abnormal human behaviors in a controlled environment

A formal methodology to design and deploy dependable wireless sensor networks

Wireless Sensor Networks (WSNs) are being increasingly adopted in critical applications, where verifying the correct operation of sensor nodes is a major concern. Undesired events may undermine the mission of the WSNs. Hence their effects need to be properly assessed before deployment to obtain a good level of expected performance and during the operation in order to avoid dangerous unexpected results. In this paper we propose amethodology that aims at assessing and improving the dependability level of WSNs by means of an event-based formal verification technique. The methodology includes a process to guide designers towards the realization of dependable WSN and a tool ("ADVISES") to simplify its adoption. The tool is applicable to homogeneous WSNs with static routing topologies. It allows to generate automatically formal specifications used to check correctness properties and evaluate dependability metrics at design time and at runtime for WSNs where an acceptable percentage of faults can be defined. During the runtime we can check the behavior of the WSN accordingly to the results obtained at design time and we can detect sudden and unexpected failures, in order to trigger recovery procedures. The effectiveness of the methodology is shown in the context of two case studies, as proof-of-concept, aiming to illustrate how the tool is helpful to drive design choices and to check the correctness properties of the WSN at runtime. Although the method scales up to very large WSNs, the applicability of the methodology maybe compromised by the state space explosion of the reasoning model, which must be faced partitioning large topologies into sub-topologies

Response of Multiple-Mass Systems to Nonvertically Incident Seismic Waves

A variational procedure is used for calculating the response of two foundations with rectangular bases supported on a viscoelastic halfspace and subjected to horizontally and vertically incident SH-waves and Rayleigh waves. Results which include the response of massless foundations and those with mass indicate that the dynamic behavior of a rigid foundation to traveling wave excitation can be affected significantly by the presence of a neighboring foundation. The effect is most pronounced when the direction of the incoming wave is parallel to the axis of the two masses, in which case a noticeable reduction in the response of the downstream foundation is observed with respect to that of the upstream foundation

Static verification of wireless sensor networks with formal methods

Wireless Sensor Networks (WSNs) are widely recognized as a solution to build monitoring systems, even in critical environments. WSNs, however, are subjected to faults due to several causes (i.e. rain, EMF radiations, vibrations, etc..) and tools and methodologies for the design of dependable WSN-based systems are needed. Formal methods partially meet such needs by assessing the degree of correctness of design models and identifying potential system bottlenecks. The aim of this paper is to define a methodology for the static verification of WSN based systems using a formal language (Event Calculus). In particular we show how the formal specification can be used to verify the design of a WSN in terms of its dependability properties. To this aim, we define a set of correctness specifications that apply to a generic WSN, coupled with specific structural specifications describing the target network topology to evaluate. Finally, after having presented an automatic tool, designed to support the designer, we adopt this methodology to a case study

The heuristic strategies for assessing wireless sensor network: an event-based formal approach

Wireless Sensor Networks (WSNs) are increasingly being adopted in critical applications. In these networks undesired events may undermine the reliability level; thus their effects need to be properly assessed from the early stages of the development process onwards to minimize the chances of unexpected problems during use. In this paper we propose two heuristic strategies: what-if analysis and robustness checking. They allow to drive designers towards optimal WSN deployment solutions, from the point of view of the connection and data delivery resiliency, exploiting a formal approach based on the event calculus formal language. The heuristics are backed up by a support tool aimed to simplify their adoption by system designers. The tool allows to specify the target WSN in a user-friendly way and it is able to elaborate the two heuristic strategies by means of the event calculus specifications automatically generated. The WSN reliability is assessed computing a set of specific metrics. The effectiveness of the strategies is shown in the context of three case studies

Morphotectonic characterization along the eastern portion of the main trace of Magallanes-Fagnano Fault System in Tierra del Fuego, Argentina

The Magallanes-Fagnano Fault System (MFFS) constitutes the onshore segment of the transform boundary between the Scotia and South American plates. The objective of this study is to provide a characterization of the portion of the MFFS, extending from the eastern shore of the Fagnano Lake to the Atlantic coast of Argentina, from a geometric and morphotectonic approach. Detailed morphotectonic analyses of satellite images, plane recognition, digital topographic data, and field surveys allowed us to identify thirteen discrete fault sections. These sections were differentiated according to the morphological characteristics of scarps, natural exposures and other associated morphotectonic features. The main trace fault shows opposite north- and south-facing scarps alternating along strikes being descriptively characterized by their scarps, linear rivers and valleys, drainage anomalies (e.g. diverted, deflected or offset streams), behead meanders, wind gaps, sag ponds, pull-apart basins and linear ridges, among others features. The natural exposures of glacio-fluvial sand and gravel outcrops show Quaternary vertical and strike-slip deformation. It looks unlikely that the Magallanes-Fagnano Fault System (MFFS) could rupture along the entire ∼600 km length during an earthquake. Our results show that even large strike-slip faults may be divided into several discrete fault sections with distinctive morphotectonic features that could help to an increasing understanding of MFFS as a seismogenic source. In this way we suggest different fault sections as a contribution to the recognition of potential individual surface ruptures, which should be tested with further detailed data.Fil: Onorato, Maria Romina. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales. Instituto de Geología "Dr. Emiliano Aparicio"; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Perucca, Laura Patricia A.. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales. Instituto de Geología "Dr. Emiliano Aparicio"; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Coronato, Andrea Maria Josefa. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Austral de Investigaciones Científicas; Argentina. Universidad Nacional de Tierra del Fuego, Antártida e Islas del Atlántico Sur. Instituto de Ciencias Polares, Ambientales y Recursos Naturales; ArgentinaFil: Prezzi, Claudia Beatriz. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Geociencias Básicas, Aplicadas y Ambientales de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Geociencias Básicas, Aplicadas y Ambientales de Buenos Aires; ArgentinaFil: Blanc, Pablo Andrés. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales. Instituto de Geología "Dr. Emiliano Aparicio"; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: López, Ramiro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Austral de Investigaciones Científicas; ArgentinaFil: Magneres, Ignacio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Austral de Investigaciones Científicas; Argentin

Design-time formal verification for smart environments: an exploratory perspective

Smart environments (SmE) are richly integrated with multiple heterogeneous devices; they perform the operations in intelligent manner by considering the context and actions/behaviors of the users. Their major objective is to enable the environment to provide ease and comfort to the users. The reliance on these systems demands consistent behavior. The versatility of devices, user behavior and intricacy of communication complicate the modeling and verification of SmE's reliable behavior. Of the many available modeling and verification techniques, formal methods appear to be the most promising. Due to a large variety of implementation scenarios and support for conditional behavior/processing, the concept of SmE is applicable to diverse areas which calls for focused research. As a result, a number of modeling and verification techniques have been made available for designers. This paper explores and puts into perspective the modeling and verification techniques based on an extended literature survey. These techniques mainly focus on some specific aspects, with a few overlapping scenarios (such as user interaction, devices interaction and control, context awareness, etc.), which were of the interest to the researchers based on their specialized competencies. The techniques are categorized on the basis of various factors and formalisms considered for the modeling and verification and later analyzed. The results show that no surveyed technique maintains a holistic perspective; each technique is used for the modeling and verification of specific SmE aspects. The results further help the designers select appropriate modeling and verification techniques under given requirements and stress for more R&D effort into SmE modeling and verification researc